A NEW AGENT MATCHING SCHEME USING AN ORDERED FUZZY SIMILARITY MEASURE AND GAME THEORY

In this paper, an agent matching method for bilateral contracts in a multi-agent market is proposed. Each agent has a hierarchical representation of its trading commodity attributes by a tree structure of fuzzy attributes. Using this structure, the similarity between the trees of each pair of buyer and seller is computed using a new ordered fuzzy similarity algorithm. Then, using the concept of Stackelberg equilibrium in a leader–follower game, matchmaking is performed among the sellers and buyers. The fuzzy similarities of each agent with others in its personal viewpoint have been used as its payoffs in a bimatrix game. Through a case study for bilateral contracts of energy, the capabilities of the proposed agent-based system are illustrated.     

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

This paper presents a quantitative framework for early prediction of resource usage and load in distributed real-time systems (DRTS). The prediction is based on an analysis of UML 2.0 sequence diagrams, augmented with timing information, to extract timed-control flow information. It is aimed at improving the early predictability of a DRTS by offering a systematic approach to predict, at the design phase, system behavior in each time instant during its execution. Since behavioral models such as sequence diagrams are available in early design phases of the software life cycle, the framework enables resource analysis at a stage when design decisions are still easy to change. Though we provide a general framework, we use network traffic as an example resource type to illustrate how the approach is applied. We also indicate how usage and load analysis of other types of resources (e.g., CPU and memory) can be performed in a similar fashion. A case study illustrates the feasibility of the approach.

A new hybrid control technique for operation of DC microgrid under islanded operating mode

This study proposes a novel combined primary and secondary control approach for direct current microgrids, specifically in islanded mode. In primary control, this approach establishes an appropriate load power sharing between the distributed energy resources based on their rated power. Simultaneously, it considers the load voltage deviation and provides satisfactory voltage regulation in the secondary control loop. The proposed primary control is based on an efficient droop mechanism that only deploys the local variable measurements, so as to overcome the side effects caused by communication delays. In the case of secondary control, two different methods are devised. In the first, low bandwidth communication links are used to establish the minimum required data transfer between the converters. The effect of communication delay is further explored. The second method excludes any communication link and only uses local variables. Accordingly, a self-sufficient control loop is devised without any communication requirement. The proposed control notions are investigated in MATLAB/Simulink platform to highlight system performance. The results demonstrate that both proposed approaches can effectively compensate for the voltage deviation due to the primary control task. Detailed comparisons of the two methods are also provided.     

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm

Software testing is one of the most important techniques to examine the behavior of the software products to assure their quality. An effective and efficient testing approach must balance two important but conflicting requirements. One of them is the accuracy that needs a large number of test cases for testing, and the second one is reducing the time and cost, which requires a few test cases. Even for small software, the number of possible test cases is typically very large, and exhaustive testing is impractical. Hence, selecting appropriate test suite is necessary. Cause–effect graph testing is a common black‐box testing technique, which is equivalently representing Boolean relations between input parameters. However, the other traditional black‐box strategies cannot identify the relations that it may result in loss of some of the important test cases. Although the cause–effect graph is regarded very promising in specification testing, it is observed that most of the proposed approaches using the graph are complex or generate impossible and a large number of test cases. This observation has motivated our research to propose an efficient strategy to generate minimal test suite that simultaneously achieves high coverage of input parameters. To do so, at first, we identify major effects from the cause–effect graph using reduced ordered binary decision diagram (ROBDD). ROBDD makes the related Boolean expression of the graph concise and obtains a unique representation of the expression. Using the ROBDD, it is possible to reduce the size of the generated test suite and to perform testing faster. After that, our proposed method utilizes particle swarm optimization (PSO) algorithm to select the optimal test suite, which covers all pairwise combinations of input parameters. The experimental results show that our approach simultaneously achieves high efficacy and reduces cost of testing by selecting appropriate test cases, respectively, to both test size and coverage size. Also, it outperforms some existing state‐of‐the‐art strategies in the black‐box testing. Copyright © 2015 John Wiley & Sons, Ltd.     

Effect of High‐Energy Ball Milling on Mechanical Properties of the Mg–Nb Composites Fabricated through Powder Metallurgy Process

New biocompatible and biodegradable Mg–Nb composites used as bone implant materials are fabricated through powder metallurgy process. Mg–Nb mixture powders are prepared through mechanical milling and manual mixing. Then, the Mg–Nb composites are fabricated through cold press and sintering processes. The effect of mechanical milling and Nb particles as reinforcements on the microstructures and mechanical properties of Mg–Nb composites are investigated. The mechanical milling process is found to be effective in reducing the size of Mg and Nb particles, distributing the Nb particles uniformly in the Mg matrix and obtaining Mg–Nb composite particles. The Mg–Nb composite particles can be bound together firmly during the sintering process, result in Mg–Nb composite structures with no intermetallic formation, lower porosity, and higher mechanical properties compared to composites prepared through manual mixing. Interestingly, the mechanical properties of manually mixed Mg–Nb composites appear to be even lower than that of pure Mg.

     

Model updating of multistory shear buildings for simultaneous identification of mass,stiffness and damping matrices using two different soft-computing methods

In this research, two novel methods for simultaneous identification of mass–damping–stiffness of shear buildings are proposed. The first method presents a procedure to estimate the natural frequencies, modal damping ratios, and modal shapes of shear buildings from their forced vibration responses. To estimate the coefficient matrices of a state-space model, an auto-regressive exogenous excitation (ARX) model cooperating with a neural network concept is employed. The modal parameters of the structure are then evaluated from the eigenparameters of the coefficient matrix of the model. Finally, modal parameters are used to identify the physical/structural (i.e., mass, damping, and stiffness) matrices of the structure. In the second method, a direct strategy of physical/structural identification is developed from the dynamic responses of the structure without any eigenvalue analysis or optimization processes that are usually necessary in inverse problems. This method modifies the governing equations of motion based on relative responses of consecutive stories such that the new set of equations can be implemented in a cluster of artificial neural networks. The number of neural networks is equal to the number of degree-of-freedom of the structure. It is shown the noise effects may partially be eliminated by using high-order finite impulse response (FIR) filters in both methods. Finally, the feasibility and accuracy of the presented model updating methods are examined through numerical studies on multistory shear buildings using the simulated records with various noise levels. The excellent agreement of the obtained results with those of the finite element models shows the feasibility of the proposed methods.     

An Efficient Solution for Model Checking Graph Transformation Systems

This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness.     

A Wavelet-ANFIS Hybrid Model for Groundwater Level Forecasting for Different Prediction Periods

Artificial neural network (ANN) and Adaptive Neuro-Fuzzy Inference System (ANFIS) have an extensive range of applications in water resources management. Wavelet transformation as a preprocessing approach can improve the ability of a forecasting model by capturing useful information on various resolution levels. The objective of this research is to compare several data-driven models for forecasting groundwater level for different prediction periods. In this study, a number of model structures for Artificial Neural Network (ANN), Adaptive Neuro-Fuzzy Inference System (ANFIS), Wavelet-ANN and Wavelet-ANFIS models have been compared to evaluate their performances to forecast groundwater level with 1, 2, 3 and 4 months ahead under two case studies in two sub-basins. It was demonstrated that wavelet transform can improve accuracy of groundwater level forecasting. It has been also shown that the forecasts made by Wavelet-ANFIS models are more accurate than those by ANN, ANFIS and Wavelet-ANN models. This study confirms that the optimum number of neurons in the hidden layer cannot be always determined by using a specific formula but trial-and-error method. The decomposition level in wavelet transform should be determined according to the periodicity and seasonality of data series. The prediction of these models is more accurate for 1 and 2 months ahead (for example RMSE?=?0.12, E?=?0.93 and R ²?=?0.99 for wavelet-ANFIS model for 1 month ahead) than for 3 and 4 months ahead (for example RMSE?=?2.07, E?=?0.63 and R ²?=?0.91 for wavelet-ANFIS model for 4 months ahead).     

Bars on blocks: A cellular automata model of crime and liquor licensed establishment density

Criminologists have extensively researched the problems generated by licensed establishments. Violent offending and disorderly behavior resulting from pubs, taverns, dance clubs and bars are of particular interest to this field of study. The relative density of these liquor establishments has been found to be associated with the level of violence and disorder in surrounding areas. A complex systems approach can be used to further understand the dynamic interplay between licensed establishments, violent offending and disorder, and urban planning decisions. The model presented here utilizes cellular automata as the mathematical framework to view the varying impact of liquor licensing density on crime. This study uses a sample of liquor establishments and crime data from the City of Vancouver in British Columbia. The cellular automata model incorporates transition rules which govern the change of city blocks from low-risk blocks to high-risk blocks. The results represented by a 50 × 50 cellular grid show that high-risk blocks multiply when liquor licenses are grouped. Two scenarios are presented to contrast the impact of grouping high-risk blocks which contain more liquor establishments and dispersing such blocks. A third scenario demonstrates how increasing the positive influence in a grouped scenario stops high-risk blocks from taking over the entire grid. Future iterations of this model will incorporate census data, public transportation data, land use data and entertainment districts from other cities to further analyze the effect of licensed establishments on the distribution of crime.